From: Jonas Dreßler <verdre@v0yd.nl>
Date: Fri, 12 Feb 2021 15:18:13 +0000 (+0100)
Subject: workspace: Actually apply top overlap to the top
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~255
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=9e8ceeae9db4847515fbb668cef3e567ae79f228;p=gnome-shell.git

workspace: Actually apply top overlap to the top

The top overlap is accidentally being applied to the left edge right
now, fix that and apply it correctly to the top edge.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1698>
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index c7021fe5a..730ad2061 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -470,9 +470,9 @@ var WorkspaceLayout = GObject.registerClass({
 
         if (containerBox) {
             const [topOverlap, bottomOverlap] = window.overlapHeights();
-            containerBox.x1 += leftOversize + topOverlap;
+            containerBox.x1 += leftOversize;
             containerBox.x2 -= rightOversize;
-            containerBox.y1 += topOversize;
+            containerBox.y1 += topOversize + topOverlap;
             containerBox.y2 -= bottomOversize + bottomOverlap;
         }